Relation algebra - PDFSEARCH.IO - Document Search Engine

Relation algebra
Results: 384

#	Item
281	Hom y skeins and the Hopf link Thesis submitted in a ordan e with the requirements of the University of Liverpool for the degree of Do tor in Philosophy by Sas ha Georg Luka June 2001 Add to Reading List Source URL: www.liv.ac.uk Language: English - Date: 2012-03-22 12:26:10 Knot theory Polynomials Representation theory Monoidal categories Skein relation Hopf algebra Quantum group Abstract algebra Algebra Mathematics
282	On the expressivity of symmetry in event structures∗ Sam Staton and Glynn Winskel Computer Laboratory, University of Cambridge Abstract—This paper establishes a bridge between presheaf models for concurrency and the Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-05-05 11:49:01 Sheaf theory Functors Adjoint functors Algebraic topology Sheaf Equivalence relation Topos Equivalence of categories Grothendieck topology Category theory Abstract algebra Mathematics
283	Symmetry and Concurrency (Extended Abstract) Glynn Winskel University of Cambridge Computer Laboratory, England [removed] http://www.cl.cam.ac.uk/users/gw104 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-09-18 12:00:55 Group theory Algebraic topology Equivalence relation Isomorphism Sheaf Group action Abstract algebra Symmetry Algebra
284	GDP Festschrift ENTCS, to appear Event Structures with Symmetry Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-05-28 04:28:56 Order theory Functions and mappings Category theory Differential topology Group theory Equivalence relation Adjoint functors Symmetry Embedding Mathematics Abstract algebra Mathematical analysis
285	Discrete Mathematics II: Set Theory for Computer Science Part IA Comp. Sci. Lecture Notes Glynn Winskel c Glynn Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-13 09:46:14 Function Mathematical proof Mathematical induction Finitary relation Well-founded relation Unification Boolean algebra Propositional calculus Principia Mathematica Mathematics Logic Mathematical logic
286	WACT[removed]Logical Relations and Parametricity A Reynolds Programme for Category Theory and Programming Languages Claudio Hermida1 University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-01-14 13:54:04 Algebra Category theory Mathematical structures Homomorphism Equivalence relation Binary relation Monoid Category Partial equivalence relation Mathematics Abstract algebra Algebraic structures
287	arXiv:0906.4521v1 [math.LO] 24 Jun 2009 ¨ COMPLEXES MARTIN-LOF S. AWODEY, P. HOFSTRA, AND M. A. WARREN Dedicated to Per Martin-L¨ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Category theory Algebraic topology Higher category theory Algebraic structures Groupoid Homotopy Fundamental group Equivalence relation Abstract algebra Mathematics Topology
288	Version 4.2 Metabolism, Reproduction, and Chirality Insights from a groupoid stereochemistry Rodrick Wallace, Ph.D. Division of Epidemiology Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2008-10-29 11:47:41 Homotopy theory Category theory Algebraic structures Symmetry Groupoid Group actions Equivalence relation Path Category Abstract algebra Mathematics Algebra
289	The Relational Model: a Tutorial Hugh Darwen This is an informal description of E.F. Codd’s model [2] that was originally drafted as part my contribution to a special edition of the IEEE Annals of the History of Comput Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2012-10-29 12:38:53 Computing Data Relational algebra Relational database management systems Database theory Relational database Relation Tuple Projection Data management Relational model Data modeling
290	File: User-defined relational operators in TD.doc Printed at: 17:03 on Monday, 18 November, 2013 Extending Tutorial D to Support User-Defined Generic Relation and Tuple Operators Hugh Darwen Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2013-11-18 12:04:11 Software engineering Relation Tuple C Relational algebra Relational model Computing Data management

UPDATE